Knowledge-Based Techniques for Software Requirements Validation

نویسنده

  • Jordi Alvarez
چکیده

This document explains a knowledge based model intended to help in Software Requirements Validation. We rst construct automatically a speci cation model from a set of correct speci cations using machine learning techniques; and then this model is used to validate new speci cations. The machine learning techniques that are used, combine ideas from terminological reasoning, analogical reasoning and probabilistic representation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Empirical Study of Software Requirements Verification and Validation Techniques along their Mitigation Strategies

Requirements engineering is very crucial phase of software development cycle. Different sub activities are performed during requirements engineering. Previous research shows that there are various techniques regarding requirements verification and validation. These techniques can have different relative importance in different situation. Typically the requirements engineers don’t have proper kn...

متن کامل

A Knowledge Management Framework in Software Requirements Engineering Based on the SECI Model

Software requirements engineering deals with: elicitation, specification, and validation of software requirements. Furthermore there is a need to facilitate collaboration amongst stakeholders and analysts. Fewer efforts were deployed to support them in performing their job on a day to day basis. To solve this problem we use knowledge management for software requirements engineering. This paper ...

متن کامل

A Review on Software Requirements Validation and Consistency Management

Requirements need to be validated at the early phase of the software development to avoid errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument, a requirements validation process needs to consider Consistency, Completeness and Correctness (“3 Cs”) for the production of a quality software specifications. This paper provides a review of requirements validation a...

متن کامل

Rule-Based Requirements Specification and Validation

Requirements specification has only recently been acknowledged as one of the most important phases in the overall software life cycle. Since the statement of a complete and consistent set of requirements involves user participation, our approach investigates how user oriented formalisms and techniques could be employed for the specification and capturing of requirements. We propose the use of r...

متن کامل

Building the Right System Right Evaluating V&V Methods in Knowledge Engineering

This paper argues that verification and validation (V&V) techniques are an essential part of the knowledge engineering process, because they offer the only way to judge the success (or otherwise) of a KBS development project. However, examination of known studies on the effectiveness of existing KBS V&V techniques shows, rather worryingly, that the state of knowledge in this area is very restri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007